<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>Sequence (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="Sequence (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":9,"i8":10,"i9":9,"i10":9,"i11":9,"i12":9,"i13":9,"i14":10,"i15":10,"i16":10,"i17":10,"i18":10,"i19":10,"i20":10,"i21":10,"i22":10,"i23":10,"i24":9,"i25":10,"i26":10,"i27":10,"i28":10,"i29":10,"i30":10,"i31":10,"i32":10,"i33":10,"i34":10,"i35":10,"i36":10,"i37":10,"i38":10,"i39":10,"i40":9,"i41":9,"i42":10,"i43":10,"i44":10,"i45":10,"i46":10,"i47":10,"i48":10,"i49":10,"i50":10,"i51":10,"i52":10,"i53":9};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/sequence/Sequence.html" target="_top">Frames</a></li>
<li><a href="Sequence.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li><a href="#nested.class.summary">Nested</a>&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.sequence</div>
<h2 title="Class Sequence" class="title">Class Sequence</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.sequence.Sequence</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public final class <span class="typeNameLabel">Sequence</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">An immutable sequence of <a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence"><code>Statement</code></a>s.

 <p>This class represents only the structure of a well-formed sequence of statements, and does not
 contain any information about the runtime behavior of the sequence. The class
 randoop.ExecutableSequence adds functionality that executes the sequence.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- ======== NESTED CLASS SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="nested.class.summary">
<!--   -->
</a>
<h3>Nested Class Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Nested Class Summary table, listing nested classes, and an explanation">
<caption><span>Nested Classes</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Class and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>(package private) static class&nbsp;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence">Sequence.RelativeNegativeIndex</a></span></code>
<div class="block">Used internally (i.e.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/BitSet.html?is-external=true" title="class or interface in java.util">BitSet</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#activeFlags">activeFlags</a></span></code>
<div class="block">A set of bits, where there is one bit associated with each index (that is, each statement in
 the sequence).</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#lastStatementTypes">lastStatementTypes</a></span></code>
<div class="block">The types of elements of <a href="../../randoop/sequence/Sequence.html#lastStatementVariables"><code>lastStatementVariables</code></a>.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#lastStatementVariables">lastStatementVariables</a></span></code>
<div class="block">The variables that are inputs or output for the last statement of this sequence: first the
 return variable if any (ie, if the operation is non-void), then the input variables.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#savedHashCode">savedHashCode</a></span></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#savedNetSize">savedNetSize</a></span></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#shouldInlineLiterals">shouldInlineLiterals</a></span></code>
<div class="block">If true, inline primitive values rather than creating and using a variable.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#statements">statements</a></span></code>
<div class="block">The list of statements.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier</th>
<th class="colLast" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>&nbsp;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#Sequence--">Sequence</a></span>()</code>
<div class="block">Create a new, empty sequence.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>&nbsp;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#Sequence-randoop.util.SimpleList-">Sequence</a></span>(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements)</code>
<div class="block">Create a sequence with the given statements.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private </code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#Sequence-randoop.util.SimpleList-int-int-">Sequence</a></span>(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements,
        int&nbsp;hashCode,
        int&nbsp;netSize)</code>
<div class="block">Create a sequence that has the given statements and hashCode (hashCode is for optimization).</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#allVariablesForTypeLastStatement-randoop.types.Type-boolean-">allVariablesForTypeLastStatement</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                                boolean&nbsp;onlyReceivers)</code>
<div class="block">Return all values of type <code>type</code> that are produced by, or might be side-effected by, the
 last statement.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#appendCode-java.lang.StringBuilder-int-">appendCode</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/StringBuilder.html?is-external=true" title="class or interface in java.lang">StringBuilder</a>&nbsp;b,
          int&nbsp;index)</code>
<div class="block">Appends the statement at the given index to the <code>StringBuilder</code>.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>(package private) void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#checkIndex-int-">checkIndex</a></span>(int&nbsp;i)</code>&nbsp;</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#checkInputs-randoop.operation.TypedOperation-java.util.List-">checkInputs</a></span>(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
           <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputVariables)</code>&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#checkRep--">checkRep</a></span>()</code>
<div class="block">Representation invariant check.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#clearActiveFlag-int-">clearActiveFlag</a></span>(int&nbsp;i)</code>&nbsp;</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#clearAllActiveFlags--">clearAllActiveFlags</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>private static int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#computeHashcode-randoop.util.SimpleList-">computeHashcode</a></span>(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements)</code>
<div class="block">The hashcode of a sequence is the sum of each statement's hashcode.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#computeLastStatementInfo--">computeLastStatementInfo</a></span>()</code>
<div class="block">Set <a href="../../randoop/sequence/Sequence.html#lastStatementVariables"><code>lastStatementVariables</code></a> and <a href="../../randoop/sequence/Sequence.html#lastStatementTypes"><code>lastStatementTypes</code></a>.</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>private static int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#computeNetSize-randoop.util.SimpleList-">computeNetSize</a></span>(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements)</code>
<div class="block">Counts the number of statements in a list that are not initializations with a primitive type.</div>
</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#concatenate-java.util.List-">concatenate</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&gt;&nbsp;sequences)</code>
<div class="block">Create a new sequence that is the concatenation of the given sequences.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#createSequence-randoop.operation.TypedOperation-java.util.List-java.util.List-">createSequence</a></span>(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&gt;&nbsp;inputSequences,
              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Integer.html?is-external=true" title="class or interface in java.lang">Integer</a>&gt;&nbsp;indexes)</code>
<div class="block">Creates a sequence consisting of the given operation given the input.</div>
</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#createSequence-randoop.operation.TypedOperation-randoop.sequence.TupleSequence-">createSequence</a></span>(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
              <a href="../../randoop/sequence/TupleSequence.html" title="class in randoop.sequence">TupleSequence</a>&nbsp;elementsSequence)</code>&nbsp;</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#createSequenceForPrimitive-java.lang.Object-">createSequenceForPrimitive</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</code>
<div class="block">Creates a sequence corresponding to the given non-null primitive value.</div>
</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#doNotInlineLiterals--">doNotInlineLiterals</a></span>()</code>
<div class="block">Disables inlining of variable values as arguments in this sequence.</div>
</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#equals-java.lang.Object-">equals</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;o)</code>
<div class="block">Two sequences are equal if their statements(+inputs) are element-wise equal.</div>
</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#extend-randoop.sequence.Statement-java.util.List-">extend</a></span>(<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&nbsp;statement,
      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputs)</code>
<div class="block">extend adds a new statement to this sequence using the operation of the given statement.</div>
</td>
</tr>
<tr id="i17" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#extend-randoop.operation.TypedOperation-java.util.List-">extend</a></span>(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputVariables)</code>
<div class="block">Returns a new sequence that is equivalent to this sequence plus the given operation appended to
 the end.</div>
</td>
</tr>
<tr id="i18" class="altColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#extend-randoop.operation.TypedOperation-randoop.sequence.Variable...-">extend</a></span>(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
      <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>...&nbsp;inputs)</code>
<div class="block">Returns a new sequence that is equivalent to this sequence plus the given statement appended at
 the end.</div>
</td>
</tr>
<tr id="i19" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getCreatingStatement-randoop.sequence.Variable-">getCreatingStatement</a></span>(<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;value)</code>
<div class="block">The statement that created this value.</div>
</td>
</tr>
<tr id="i20" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getInputs-int-">getInputs</a></span>(int&nbsp;statementIndex)</code>
<div class="block">The inputs for the ith statement.</div>
</td>
</tr>
<tr id="i21" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Integer.html?is-external=true" title="class or interface in java.lang">Integer</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getInputsAsAbsoluteIndices-int-">getInputsAsAbsoluteIndices</a></span>(int&nbsp;i)</code>
<div class="block">The inputs for the ith statement, as indices.</div>
</td>
</tr>
<tr id="i22" class="altColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getLastVariable--">getLastVariable</a></span>()</code>
<div class="block">The value created by the last statement in the sequence.</div>
</td>
</tr>
<tr id="i23" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getOperation--">getOperation</a></span>()</code>
<div class="block">Returns the operation from which this sequence was constructed.</div>
</td>
</tr>
<tr id="i24" class="altColor">
<td class="colFirst"><code>private static <a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence">Sequence.RelativeNegativeIndex</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getRelativeIndexForVariable-int-randoop.sequence.Variable-">getRelativeIndexForVariable</a></span>(int&nbsp;statementPosition,
                           <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;v)</code>
<div class="block">Returns the relative negative index that would result if we use the given value as an input to
 the statement at position statementPosition.</div>
</td>
</tr>
<tr id="i25" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getStatement-int-">getStatement</a></span>(int&nbsp;index)</code>
<div class="block">The statement for the statement at the given index.</div>
</td>
</tr>
<tr id="i26" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getStatementsWithInputs--">getStatementsWithInputs</a></span>()</code>
<div class="block">An list of all the statements in this sequence.</div>
</td>
</tr>
<tr id="i27" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getStatementWithInputs-int-">getStatementWithInputs</a></span>(int&nbsp;index)</code>
<div class="block">The statement(+inputs) at the given index.</div>
</td>
</tr>
<tr id="i28" class="altColor">
<td class="colFirst"><code>(package private) <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getSubsequence-int-">getSubsequence</a></span>(int&nbsp;index)</code>
<div class="block">Return a subsequence of this sequence that contains the statement at the given index.</div>
</td>
</tr>
<tr id="i29" class="rowColor">
<td class="colFirst"><code>(package private) <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getTypesForLastStatement--">getTypesForLastStatement</a></span>()</code>
<div class="block">The types of all the variables involved in the last statement.</div>
</td>
</tr>
<tr id="i30" class="altColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getVariable-int-">getVariable</a></span>(int&nbsp;i)</code>
<div class="block">The value created by the ith statement.</div>
</td>
</tr>
<tr id="i31" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getVariableForInput-int-randoop.sequence.Sequence.RelativeNegativeIndex-">getVariableForInput</a></span>(int&nbsp;statementPosition,
                   <a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence">Sequence.RelativeNegativeIndex</a>&nbsp;input)</code>
<div class="block">Returns the Variable corresponding to the given input, which is an input to the statement at
 position statementPosition.</div>
</td>
</tr>
<tr id="i32" class="altColor">
<td class="colFirst"><code>(package private) <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#getVariablesOfLastStatement--">getVariablesOfLastStatement</a></span>()</code>
<div class="block">The variables involved in the last statement.</div>
</td>
</tr>
<tr id="i33" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#hasActiveFlags--">hasActiveFlags</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i34" class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#hashCode--">hashCode</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i35" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#hasUseOfMatchingClass-java.util.regex.Pattern-">hasUseOfMatchingClass</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/regex/Pattern.html?is-external=true" title="class or interface in java.util.regex">Pattern</a>&nbsp;classNames)</code>
<div class="block">Test whether any statement of this sequence has an operation whose declaring class matches the
 given regular expression.</div>
</td>
</tr>
<tr id="i36" class="altColor">
<td class="colFirst"><code>(package private) boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#isActive-int-">isActive</a></span>(int&nbsp;i)</code>&nbsp;</td>
</tr>
<tr id="i37" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#isNonreceiver--">isNonreceiver</a></span>()</code>
<div class="block">A sequence representing a single primitive value, like "Foo var0 = null" or "int var0 = 1".</div>
</td>
</tr>
<tr id="i38" class="altColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#isValidIndex-int-">isValidIndex</a></span>(int&nbsp;index)</code>
<div class="block">True iff this sequence contains a statement at the given index.</div>
</td>
</tr>
<tr id="i39" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#log--">log</a></span>()</code>
<div class="block">Write this sequence to the Randoop log.</div>
</td>
</tr>
<tr id="i40" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#parse-java.util.List-">parse</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;statements)</code>
<div class="block">NOTE: the ONLY place this is used is in a test.</div>
</td>
</tr>
<tr id="i41" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#parse-java.lang.String-">parse</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;string)</code>
<div class="block">Parse a sequence encoded as a strings.</div>
</td>
</tr>
<tr id="i42" class="altColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#randomVariableForType-randoop.types.Type-boolean-">randomVariableForType</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                     boolean&nbsp;onlyReceivers)</code>
<div class="block">Choose one of the statements that produces a values of type <code>type</code>.</div>
</td>
</tr>
<tr id="i43" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#randomVariableForTypeLastStatement-randoop.types.Type-boolean-">randomVariableForTypeLastStatement</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                                  boolean&nbsp;onlyReceivers)</code>
<div class="block">The last statement produces multiple values of type <code>type</code>.</div>
</td>
</tr>
<tr id="i44" class="altColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#setAllActiveFlags--">setAllActiveFlags</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i45" class="rowColor">
<td class="colFirst"><code>(package private) boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#shouldInlineLiterals--">shouldInlineLiterals</a></span>()</code>
<div class="block">By default, every value used in a sequence is named as a variable.</div>
</td>
</tr>
<tr id="i46" class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#size--">size</a></span>()</code>
<div class="block">The number of statements in the sequence.</div>
</td>
</tr>
<tr id="i47" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#toCodeString--">toCodeString</a></span>()</code>
<div class="block">Returns the Java source code representation of this sequence with values substituted for simple
 initializations.</div>
</td>
</tr>
<tr id="i48" class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#toFullCodeString--">toFullCodeString</a></span>()</code>
<div class="block">Returns the Java source representation of this sequence showing all statements.</div>
</td>
</tr>
<tr id="i49" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#toParsableString--">toParsableString</a></span>()</code>
<div class="block">Returns a string representing this sequence.</div>
</td>
</tr>
<tr id="i50" class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#toParsableString-java.lang.String-">toParsableString</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;statementSep)</code>
<div class="block">Like toParsableString, but the client can specify a string that will be used a separator
 between statements.</div>
</td>
</tr>
<tr id="i51" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#toString--">toString</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i52" class="altColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#verifyFalse-java.lang.String-randoop.sequence.Sequence-">verifyFalse</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;message,
           <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;other)</code>&nbsp;</td>
</tr>
<tr id="i53" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/Sequence.html#zero-randoop.types.Type-">zero</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;c)</code>
<div class="block">Returns a sequence that is of the form "Foo f = null;" where Foo is the given class.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="statements">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>statements</h4>
<pre>public final&nbsp;<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt; statements</pre>
<div class="block">The list of statements.</div>
</li>
</ul>
<a name="lastStatementVariables">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>lastStatementVariables</h4>
<pre>private transient&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt; lastStatementVariables</pre>
<div class="block">The variables that are inputs or output for the last statement of this sequence: first the
 return variable if any (ie, if the operation is non-void), then the input variables. These hold
 the values "produced" by some statement of the sequence. Should be final but cannot because of
 serialization.</div>
</li>
</ul>
<a name="lastStatementTypes">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>lastStatementTypes</h4>
<pre>private transient&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt; lastStatementTypes</pre>
<div class="block">The types of elements of <a href="../../randoop/sequence/Sequence.html#lastStatementVariables"><code>lastStatementVariables</code></a>.</div>
</li>
</ul>
<a name="shouldInlineLiterals">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>shouldInlineLiterals</h4>
<pre>private transient&nbsp;boolean shouldInlineLiterals</pre>
<div class="block">If true, inline primitive values rather than creating and using a variable.</div>
</li>
</ul>
<a name="activeFlags">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>activeFlags</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/BitSet.html?is-external=true" title="class or interface in java.util">BitSet</a> activeFlags</pre>
<div class="block">A set of bits, where there is one bit associated with each index (that is, each statement in
 the sequence). Active flags are used during generation, to determine what values in an existing
 sequence are useful to be used as inputs when creating a new sequence out of the existing one.

 <p>Note that each statement's result is treated as active or not. If a statement might
 side-effect a variable's value, the variable name is used from the previous statement that
 defined it.</div>
</li>
</ul>
<a name="savedHashCode">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>savedHashCode</h4>
<pre>private final&nbsp;int savedHashCode</pre>
</li>
</ul>
<a name="savedNetSize">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>savedNetSize</h4>
<pre>private final&nbsp;int savedNetSize</pre>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="Sequence--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>Sequence</h4>
<pre>public&nbsp;Sequence()</pre>
<div class="block">Create a new, empty sequence.</div>
</li>
</ul>
<a name="Sequence-randoop.util.SimpleList-int-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>Sequence</h4>
<pre>private&nbsp;Sequence(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements,
                 int&nbsp;hashCode,
                 int&nbsp;netSize)</pre>
<div class="block">Create a sequence that has the given statements and hashCode (hashCode is for optimization).

 <p>See <a href="../../randoop/sequence/Sequence.html#computeHashcode-randoop.util.SimpleList-"><code>computeHashcode(SimpleList)</code></a> for details on the hashCode.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statements</code> - the statements of the new sequence</dd>
<dd><code>hashCode</code> - the hashcode for the new sequence</dd>
<dd><code>netSize</code> - the net size for the new sequence</dd>
</dl>
</li>
</ul>
<a name="Sequence-randoop.util.SimpleList-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>Sequence</h4>
<pre>public&nbsp;Sequence(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements)</pre>
<div class="block">Create a sequence with the given statements.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statements</code> - the statements</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="zero-randoop.types.Type-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>zero</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;zero(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;c)</pre>
<div class="block">Returns a sequence that is of the form "Foo f = null;" where Foo is the given class.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>c</code> - the type for initialized variable</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence consisting of the initialization</dd>
</dl>
</li>
</ul>
<a name="createSequenceForPrimitive-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createSequenceForPrimitive</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;createSequenceForPrimitive(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</pre>
<div class="block">Creates a sequence corresponding to the given non-null primitive value.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>value</code> - non-null reference to a primitive or String value</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence"><code>Sequence</code></a> consisting of a statement created with the object</dd>
</dl>
</li>
</ul>
<a name="createSequence-randoop.operation.TypedOperation-java.util.List-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createSequence</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;createSequence(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
                                      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&gt;&nbsp;inputSequences,
                                      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Integer.html?is-external=true" title="class or interface in java.lang">Integer</a>&gt;&nbsp;indexes)</pre>
<div class="block">Creates a sequence consisting of the given operation given the input.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation for the sequence</dd>
<dd><code>inputSequences</code> - the sequences computing inputs to the operation</dd>
<dd><code>indexes</code> - the indices of the inputs to the operation; same length as inputSequences</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence that applies the operation to the given inputs</dd>
</dl>
</li>
</ul>
<a name="createSequence-randoop.operation.TypedOperation-randoop.sequence.TupleSequence-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createSequence</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;createSequence(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
                                      <a href="../../randoop/sequence/TupleSequence.html" title="class in randoop.sequence">TupleSequence</a>&nbsp;elementsSequence)</pre>
</li>
</ul>
<a name="extend-randoop.operation.TypedOperation-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>extend</h4>
<pre>public final&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;extend(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
                             <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputVariables)</pre>
<div class="block">Returns a new sequence that is equivalent to this sequence plus the given operation appended to
 the end.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation to add</dd>
<dd><code>inputVariables</code> - the input variables</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence formed by appending the given operation to this sequence</dd>
</dl>
</li>
</ul>
<a name="extend-randoop.operation.TypedOperation-randoop.sequence.Variable...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>extend</h4>
<pre>public final&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;extend(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
                             <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>...&nbsp;inputs)</pre>
<div class="block">Returns a new sequence that is equivalent to this sequence plus the given statement appended at
 the end.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation to add</dd>
<dd><code>inputs</code> - the input variables for the operation</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence formed by appending the given operation to this sequence</dd>
</dl>
</li>
</ul>
<a name="extend-randoop.sequence.Statement-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>extend</h4>
<pre>public final&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;extend(<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&nbsp;statement,
                             <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputs)</pre>
<div class="block">extend adds a new statement to this sequence using the operation of the given statement.
 Intended as the only place that we reach inside a <a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence"><code>Statement</code></a> for its operation.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statement</code> - is a <a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence"><code>Statement</code></a> object from which the operation is copied</dd>
<dd><code>inputs</code> - is the list of variables for input</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>sequence constructed from this one plus the operation</dd>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../randoop/sequence/Sequence.html#extend-randoop.operation.TypedOperation-java.util.List-"><code>extend(TypedOperation, List)</code></a></dd>
</dl>
</li>
</ul>
<a name="concatenate-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>concatenate</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;concatenate(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&gt;&nbsp;sequences)</pre>
<div class="block">Create a new sequence that is the concatenation of the given sequences.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>sequences</code> - the list of sequences to concatenate</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the concatenation of the sequences in the list</dd>
</dl>
</li>
</ul>
<a name="getStatement-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStatement</h4>
<pre>public final&nbsp;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&nbsp;getStatement(int&nbsp;index)</pre>
<div class="block">The statement for the statement at the given index.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>index</code> - the index of the statement position in this sequence</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the statement at the given position</dd>
</dl>
</li>
</ul>
<a name="size--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>size</h4>
<pre>public final&nbsp;int&nbsp;size()</pre>
<div class="block">The number of statements in the sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the number of statements in this sequence</dd>
</dl>
</li>
</ul>
<a name="getVariable-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVariable</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;getVariable(int&nbsp;i)</pre>
<div class="block">The value created by the ith statement.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>i</code> - the statement index</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the variable created by the statement at the given index</dd>
</dl>
</li>
</ul>
<a name="getVariablesOfLastStatement--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVariablesOfLastStatement</h4>
<pre><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;getVariablesOfLastStatement()</pre>
<div class="block">The variables involved in the last statement. This includes the output variable.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the variables used in the last statement of this sequence</dd>
</dl>
</li>
</ul>
<a name="getTypesForLastStatement--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getTypesForLastStatement</h4>
<pre><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;&nbsp;getTypesForLastStatement()</pre>
<div class="block">The types of all the variables involved in the last statement. This includes the output
 variable. The types returned are not the types in the signature of the Operation, but the types
 of the variables.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the types of the variables in the last statement of this sequence</dd>
</dl>
</li>
</ul>
<a name="getLastVariable--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getLastVariable</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;getLastVariable()</pre>
<div class="block">The value created by the last statement in the sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the variable assigned to by the last statement of this sequence</dd>
</dl>
</li>
</ul>
<a name="getCreatingStatement-randoop.sequence.Variable-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getCreatingStatement</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&nbsp;getCreatingStatement(<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;value)</pre>
<div class="block">The statement that created this value.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>value</code> - the variable</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the statement that assigned to this variable</dd>
</dl>
</li>
</ul>
<a name="getInputs-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getInputs</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;getInputs(int&nbsp;statementIndex)</pre>
<div class="block">The inputs for the ith statement. Includes the receiver.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statementIndex</code> - the index for the statement</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of variables for the statement at the given index</dd>
</dl>
</li>
</ul>
<a name="toCodeString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toCodeString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toCodeString()</pre>
<div class="block">Returns the Java source code representation of this sequence with values substituted for simple
 initializations. Similar to * <a href="../../randoop/sequence/ExecutableSequence.html#toCodeString--"><code>ExecutableSequence.toCodeString()</code></a> except does not include
 checks.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a string containing Java code for this sequence</dd>
</dl>
</li>
</ul>
<a name="toFullCodeString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toFullCodeString</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toFullCodeString()</pre>
<div class="block">Returns the Java source representation of this sequence showing all statements. Simplifications
 performed in <a href="../../randoop/sequence/Sequence.html#toCodeString--"><code>toCodeString()</code></a> are preserved but initializations used will also be
 printed.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a string containing Java code for this sequence</dd>
</dl>
</li>
</ul>
<a name="toString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toString()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="hasActiveFlags--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasActiveFlags</h4>
<pre>public&nbsp;boolean&nbsp;hasActiveFlags()</pre>
</li>
</ul>
<a name="isActive-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isActive</h4>
<pre>boolean&nbsp;isActive(int&nbsp;i)</pre>
</li>
</ul>
<a name="setAllActiveFlags--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setAllActiveFlags</h4>
<pre>private&nbsp;void&nbsp;setAllActiveFlags()</pre>
</li>
</ul>
<a name="clearAllActiveFlags--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>clearAllActiveFlags</h4>
<pre>public&nbsp;void&nbsp;clearAllActiveFlags()</pre>
</li>
</ul>
<a name="clearActiveFlag-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>clearActiveFlag</h4>
<pre>public&nbsp;void&nbsp;clearActiveFlag(int&nbsp;i)</pre>
</li>
</ul>
<a name="getRelativeIndexForVariable-int-randoop.sequence.Variable-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRelativeIndexForVariable</h4>
<pre>private static&nbsp;<a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence">Sequence.RelativeNegativeIndex</a>&nbsp;getRelativeIndexForVariable(int&nbsp;statementPosition,
                                                                          <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;v)</pre>
<div class="block">Returns the relative negative index that would result if we use the given value as an input to
 the statement at position statementPosition.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statementPosition</code> - the position of the statement</dd>
<dd><code>v</code> - the variable</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the relative negative index computed from the position and variable</dd>
</dl>
</li>
</ul>
<a name="getVariableForInput-int-randoop.sequence.Sequence.RelativeNegativeIndex-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVariableForInput</h4>
<pre>private&nbsp;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;getVariableForInput(int&nbsp;statementPosition,
                                     <a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence">Sequence.RelativeNegativeIndex</a>&nbsp;input)</pre>
<div class="block">Returns the Variable corresponding to the given input, which is an input to the statement at
 position statementPosition.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statementPosition</code> - the statement position</dd>
<dd><code>input</code> - relative index of the input variable</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the variable at the relative index from the given statement position</dd>
</dl>
</li>
</ul>
<a name="computeHashcode-randoop.util.SimpleList-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>computeHashcode</h4>
<pre>private static&nbsp;int&nbsp;computeHashcode(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements)</pre>
<div class="block">The hashcode of a sequence is the sum of each statement's hashcode. This seems good enough, and
 it makes computing hashCode of a concatenation of sequences faster (it's just the addition of
 each sequence's' hashCode). Otherwise, hashCode computation used to be a hotspot.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statements</code> - the list of statements over which to compute the hash code</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sum of the hash codes of the statements in the sequence</dd>
</dl>
</li>
</ul>
<a name="computeNetSize-randoop.util.SimpleList-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>computeNetSize</h4>
<pre>private static&nbsp;int&nbsp;computeNetSize(<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;statements)</pre>
<div class="block">Counts the number of statements in a list that are not initializations with a primitive type.
 For instance <code>int var7 = 0</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statements</code> - the list of <a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence"><code>Statement</code></a> objects</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>count of statements other than primitive initializations</dd>
</dl>
</li>
</ul>
<a name="computeLastStatementInfo--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>computeLastStatementInfo</h4>
<pre>private&nbsp;void&nbsp;computeLastStatementInfo()</pre>
<div class="block">Set <a href="../../randoop/sequence/Sequence.html#lastStatementVariables"><code>lastStatementVariables</code></a> and <a href="../../randoop/sequence/Sequence.html#lastStatementTypes"><code>lastStatementTypes</code></a>.</div>
</li>
</ul>
<a name="checkRep--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>checkRep</h4>
<pre>private&nbsp;void&nbsp;checkRep()</pre>
<div class="block">Representation invariant check.</div>
</li>
</ul>
<a name="equals-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>equals</h4>
<pre>public final&nbsp;boolean&nbsp;equals(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;o)</pre>
<div class="block">Two sequences are equal if their statements(+inputs) are element-wise equal.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="verifyFalse-java.lang.String-randoop.sequence.Sequence-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>verifyFalse</h4>
<pre>private&nbsp;boolean&nbsp;verifyFalse(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;message,
                            <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;other)</pre>
</li>
</ul>
<a name="hashCode--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hashCode</h4>
<pre>public final&nbsp;int&nbsp;hashCode()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="isValidIndex-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isValidIndex</h4>
<pre>private&nbsp;boolean&nbsp;isValidIndex(int&nbsp;index)</pre>
<div class="block">True iff this sequence contains a statement at the given index.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>index</code> - the index to check for a statement</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if the index is the position of a statement in this sequence, false otherwise</dd>
</dl>
</li>
</ul>
<a name="getStatementsWithInputs--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStatementsWithInputs</h4>
<pre>private&nbsp;<a href="../../randoop/util/SimpleList.html" title="interface in randoop.util">SimpleList</a>&lt;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&gt;&nbsp;getStatementsWithInputs()</pre>
<div class="block">An list of all the statements in this sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of all statements in this sequence</dd>
</dl>
</li>
</ul>
<a name="getStatementWithInputs-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStatementWithInputs</h4>
<pre>private&nbsp;<a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence">Statement</a>&nbsp;getStatementWithInputs(int&nbsp;index)</pre>
<div class="block">The statement(+inputs) at the given index.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>index</code> - the statement position</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/sequence/Statement.html" title="class in randoop.sequence"><code>Statement</code></a> at the given index</dd>
</dl>
</li>
</ul>
<a name="allVariablesForTypeLastStatement-randoop.types.Type-boolean-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>allVariablesForTypeLastStatement</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;allVariablesForTypeLastStatement(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                                                       boolean&nbsp;onlyReceivers)</pre>
<div class="block">Return all values of type <code>type</code> that are produced by, or might be side-effected by, the
 last statement. May return an empty list if <code>onlyReceivers</code> is true and the only values
 of the given type are nulls that are passed to the last statement as arguments.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>type</code> - return a list of sequences of this type</dd>
<dd><code>onlyReceivers</code> - if true, only return a sequence that is appropriate to use as a method
     call receiver</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a variable used in the last statement of the given type</dd>
</dl>
</li>
</ul>
<a name="randomVariableForTypeLastStatement-randoop.types.Type-boolean-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>randomVariableForTypeLastStatement</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;randomVariableForTypeLastStatement(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                                                   boolean&nbsp;onlyReceivers)</pre>
<div class="block">The last statement produces multiple values of type <code>type</code>. Choose one of them at random.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>type</code> - return a sequence of this type</dd>
<dd><code>onlyReceivers</code> - if true, only return a sequence that is appropriate to use as a method
     call receiver</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a variable used in the last statement of the given type</dd>
</dl>
</li>
</ul>
<a name="randomVariableForType-randoop.types.Type-boolean-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>randomVariableForType</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;randomVariableForType(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                                      boolean&nbsp;onlyReceivers)</pre>
<div class="block">Choose one of the statements that produces a values of type <code>type</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>type</code> - return a sequence of this type</dd>
<dd><code>onlyReceivers</code> - if true, only return a sequence that is appropriate to use as a method
     call receiver</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a variable of the given type</dd>
</dl>
</li>
</ul>
<a name="checkIndex-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>checkIndex</h4>
<pre>void&nbsp;checkIndex(int&nbsp;i)</pre>
</li>
</ul>
<a name="checkInputs-randoop.operation.TypedOperation-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>checkInputs</h4>
<pre>private&nbsp;void&nbsp;checkInputs(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;operation,
                         <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputVariables)</pre>
</li>
</ul>
<a name="getInputsAsAbsoluteIndices-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getInputsAsAbsoluteIndices</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Integer.html?is-external=true" title="class or interface in java.lang">Integer</a>&gt;&nbsp;getInputsAsAbsoluteIndices(int&nbsp;i)</pre>
<div class="block">The inputs for the ith statement, as indices. An index equal to x means that the input is the
 value created by the x-th statement in the sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>i</code> - the statement index</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the absolute indices for the input variables in the given statement</dd>
</dl>
</li>
</ul>
<a name="appendCode-java.lang.StringBuilder-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>appendCode</h4>
<pre>public&nbsp;void&nbsp;appendCode(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/StringBuilder.html?is-external=true" title="class or interface in java.lang">StringBuilder</a>&nbsp;b,
                       int&nbsp;index)</pre>
<div class="block">Appends the statement at the given index to the <code>StringBuilder</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>b</code> - the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/StringBuilder.html?is-external=true" title="class or interface in java.lang"><code>StringBuilder</code></a> to which the code is appended</dd>
<dd><code>index</code> - the position of the statement to print in this <code>Sequence</code></dd>
</dl>
</li>
</ul>
<a name="toParsableString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toParsableString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toParsableString()</pre>
<div class="block">Returns a string representing this sequence. The string can be parsed back into a sequence
 using the method Sequence.parse(String). In particular, the following invariant holds:

 <pre>
 st.equals(parse(st.toParsableCode()))
 </pre>

 See the parse(List) for the required format of a String representing a Sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>parsable string description of sequence</dd>
</dl>
</li>
</ul>
<a name="toParsableString-java.lang.String-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toParsableString</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toParsableString(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;statementSep)</pre>
<div class="block">Like toParsableString, but the client can specify a string that will be used a separator
 between statements.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statementSep</code> - the statement separator</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the string representation of this sequence</dd>
</dl>
</li>
</ul>
<a name="parse-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>parse</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;parse(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;statements)
                      throws <a href="../../randoop/sequence/SequenceParseException.html" title="class in randoop.sequence">SequenceParseException</a></pre>
<div class="block">NOTE: the ONLY place this is used is in a test.

 <p>Parse a sequence encoded as a list of strings, each string corresponding to one statement.
 This method is similar to parse(String), but expects the individual statements already as
 separate strings. Each statement is expected to be of the form:

 <pre>
   VAR = OPERATION : VAR ... VAR
 </pre>

 where the VAR are strings representing a variable name, and OPERATION is a string representing
 an Operation. For more on OPERATION, see the documentation for <a href="../../randoop/operation/OperationParser.html#parse-java.lang.String-"><code>OperationParser.parse(String)</code></a>.

 <p>The first VAR token represents the "output variable" that is the result of the statement
 call. The VAR tokens appearing after OPERATION represent the "input variables" to the statement
 call. At the i-th line, the input variable tokens should appear as an output variable for some
 previous j-th line, j &lt; i.

 <p>Here is an example of a list of lines representing a sequence.

 <pre><code>
 var0 = cons : java.util.HashMap.&lt;init&gt;() :
 var1 = prim : double:-1.0 :
 var2 = prim : java.lang.String:"hi!" :
 var3 = method : java.util.HashMap.put(java.lang.Object,java.lang.Object) : var0 var1 var2
 </code></pre>

 The above sequence corresponds to the following java code (with package names omitted for
 brevity):

 <pre>
 HashMap var0 = new HashMap();
 double var1 = -1.0;
 String var2 = "hi!";
 Object var3 = var0.put(var1, var2);
 </pre>

 When writing/reading sequences out to file: you have two options: serialize the sequences using
 java's serialization mechanism, or write them out as parsable text. Serialization is faster,
 and text is human-readable.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>statements</code> - the list of statement strings</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence constructed from the list of strings</dd>
<dt><span class="throwsLabel">Throws:</span></dt>
<dd><code><a href="../../randoop/sequence/SequenceParseException.html" title="class in randoop.sequence">SequenceParseException</a></code> - if any statement cannot be parsed</dd>
</dl>
</li>
</ul>
<a name="parse-java.lang.String-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>parse</h4>
<pre>public static&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;parse(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;string)
                      throws <a href="../../randoop/sequence/SequenceParseException.html" title="class in randoop.sequence">SequenceParseException</a></pre>
<div class="block">Parse a sequence encoded as a strings. Convenience method for parse(List), which parses a
 sequence of strings, each representing a Statement. See that method for more documentation on
 the string representation of a sequence.

 <p>This method breaks up the given string into statements assuming that each statement is
 separated by a line separator character.

 <p>The following invariant holds:

 <pre>
 st.equals(parse(st.toParsableCode()))
 </pre>

 When writing/reading sequences out to file: you have two options: serialize the sequences using
 java's serialization mechanism, or write them out as parsable text. Serialization is faster,
 and text is human-readable.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>string</code> - the string descriptor</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence constructed by parsing the input string</dd>
<dt><span class="throwsLabel">Throws:</span></dt>
<dd><code><a href="../../randoop/sequence/SequenceParseException.html" title="class in randoop.sequence">SequenceParseException</a></code> - if string is not valid sequence</dd>
</dl>
</li>
</ul>
<a name="isNonreceiver--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isNonreceiver</h4>
<pre>public&nbsp;boolean&nbsp;isNonreceiver()</pre>
<div class="block">A sequence representing a single primitive value, like "Foo var0 = null" or "int var0 = 1".</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if this sequence is a single primitive initialization statement, false otherwise</dd>
</dl>
</li>
</ul>
<a name="hasUseOfMatchingClass-java.util.regex.Pattern-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasUseOfMatchingClass</h4>
<pre>public&nbsp;boolean&nbsp;hasUseOfMatchingClass(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/regex/Pattern.html?is-external=true" title="class or interface in java.util.regex">Pattern</a>&nbsp;classNames)</pre>
<div class="block">Test whether any statement of this sequence has an operation whose declaring class matches the
 given regular expression.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>classNames</code> - the regular expression to test class names</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if any statement has operation with matching declaring class, false otherwise</dd>
</dl>
</li>
</ul>
<a name="getSubsequence-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSubsequence</h4>
<pre><a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;getSubsequence(int&nbsp;index)</pre>
<div class="block">Return a subsequence of this sequence that contains the statement at the given index. It does
 not necessarily contain the first element of this sequence.

 <p>The result depends on the compositional structure of this sequence. The implementation
 avoids allocating new objects.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>index</code> - the statement position in this sequence</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence containing the index position</dd>
</dl>
</li>
</ul>
<a name="log--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>log</h4>
<pre>public&nbsp;void&nbsp;log()</pre>
<div class="block">Write this sequence to the Randoop log.</div>
</li>
</ul>
<a name="shouldInlineLiterals--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>shouldInlineLiterals</h4>
<pre>boolean&nbsp;shouldInlineLiterals()</pre>
<div class="block">By default, every value used in a sequence is named as a variable. If this variable is true,
 then primitive literals are used inline as arguments, without an explicit variable and
 initialization.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if literals should be inlined in this sequence, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="doNotInlineLiterals--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doNotInlineLiterals</h4>
<pre>public&nbsp;void&nbsp;doNotInlineLiterals()</pre>
<div class="block">Disables inlining of variable values as arguments in this sequence. This is a hack to give the
 variable a name, so that post-conditions can refer to it.</div>
</li>
</ul>
<a name="getOperation--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getOperation</h4>
<pre>public&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;getOperation()</pre>
<div class="block">Returns the operation from which this sequence was constructed. (Also known as the operation in
 the last statement of this sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the last operation of this sequence</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/sequence/Sequence.RelativeNegativeIndex.html" title="class in randoop.sequence"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/sequence/Sequence.html" target="_top">Frames</a></li>
<li><a href="Sequence.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li><a href="#nested.class.summary">Nested</a>&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
